In-system programming

Results: 1455



#Item
311Computer programming / Polymorphism / Type theory / Cross-platform software / Generics in Java / Wildcard / Mono project / Type system / C Sharp / Computing / Software engineering / Java programming language

Java Generics Frequently Asked Questions written and maintained by Angelika Langer

Add to Reading List

Source URL: www.angelikalanger.com

Language: English - Date: 2015-01-17 08:22:53
312Software engineering / Thread / Critical section / Lock / Windows API / Mutual exclusion / Architecture of Windows NT / Interrupt handler / Application programming interface / Concurrency control / Computing / Computer programming

About INtime Win32 and real time extension system calls Contents Overview How the Win32 API (iWin32) fits in the INtime environment INtime Win32 system calls Porting a Windows application to INtime

Add to Reading List

Source URL: www.tenasys.com

Language: English - Date: 2012-03-29 23:07:21
313Literate programming / Macro programming languages / Programming language implementation / Computer programming / CWEB / WEB / TeX / Comment / Donald Knuth / Computing / Software engineering / Software

Literate Programming in C The CWEB System of Structured Software Documentation Manual for CWEBx3.0 Marc A. A. van Leeuwen 1 Overview

Add to Reading List

Source URL: www.literateprogramming.com

Language: English - Date: 2007-10-09 02:13:29
314Freedesktop.org / X servers / Application programming interfaces / XFree86 / Direct Rendering Infrastructure / X Window System / Linux / Kernel / Accelerated-X / Software / System software / Computing

Xi Graphics Open Source "Linux Drivers" for ATI Graphics While the the term "Linux Driver" is actually a misnomer, it is widely used in our field. Linux is an OS kernel (and associated kernel utilities) produced by the "

Add to Reading List

Source URL: www.xig.com

Language: English - Date: 2013-02-15 17:27:51
315Functional languages / Type theory / Logic in computer science / Theoretical computer science / Formal methods / OCaml / Coq / Type system / Formal verification / Software engineering / Computing / Programming language theory

Activity ReportProject-Team GALLIUM Programming languages, types, compilation and proofs

Add to Reading List

Source URL: raweb.inria.fr

Language: English - Date: 2015-03-19 08:23:41
316Applied mathematics / AgentSpeak / Operational semantics / Bisimulation / Programming language / Agent-based model / State transition system / 3APL / Logic programming / Multi-agent systems / Computing / Theoretical computer science

A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 1998-12-14 07:37:21
317Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.nexr.com

Language: English - Date: 2008-08-20 09:09:33
318Human–computer interaction / Application programming interfaces / User interface techniques / Freedesktop.org / X Window System / User interface / Display device / Notification system / Software / Computing / System software

A Toolkit for Managing User Attention in Peripheral Displays Tara Matthews, Anind K. Dey*, Jennifer Mankoff, Scott Carter and Tye Rattenbury * EECS Department, UC Berkeley Berkeley, CA 94720, USA

Add to Reading List

Source URL: www.taramatthews.org

Language: English - Date: 2014-03-10 16:20:47
319Computer programming / Data management / PostgreSQL / Backup / Point-in-time recovery / Infinite loop / Database management system / Nagios / Ingres / Software / Computing / Cross-platform software

PostgreSQL @ OmniTI ● Keith Fiske

Add to Reading List

Source URL: calug.org

Language: English - Date: 2013-02-20 23:10:07
320Object-oriented programming / Object / Common Lisp Object System / Constant / Type system / Mutator method / Self / Object model / Prototype-based programming / Software engineering / Computer programming / Computing

A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008

Add to Reading List

Source URL: cran.case.edu

Language: English - Date: 2008-08-20 09:09:33
UPDATE